Escape Analysis: Final Report for EPSRC grant GR/R53401

Algorithmic Deduction Based on Labelled Tableaux Project Gr/j14745 -final Report for Epsrc

This report describes the research results obtained during the EPSRC project GR/J14745, giving rstly a summary of the results, with respect to the objectives given in the Research Grant Report and a brief introduction of the project's research eld (in Section 1.2).

Final Report GR/M70186/01 Imaging the Photofragmentation of Molecular Ions

Proposal GR/M70186 followed fairly close on the heels of a related funding application (GR/M20402). GR/M20402 sought modest equipment/consumables funding to allow a number of modifications to an existing ion imaging apparatus, plus a contribution towards the salary of a technician and a project studentship. In the event, all bar the studentship was awarded. This decision was seemingly based on ...

FEAST / 1 Final Report - Grant Number GR

Background: The project was conceived in 1994 following formulation of a FEAST hypothesis. This stated that the software evolution process is a feedback system and must be treated as such to achieve major process improvement. Three self-funding international workshops were held at IC [fea94,5] to explore the hypothesis, with some 40 participants from the UK, Europe and North America at each. Fo...

FEAST / 1 Final Report - Grant Number GR / K 86008

Background: The project was conceived in 1994 following formulation of a FEAST hypothesis. This stated that the software evolution process is a feedback system and must be treated as such to achieve major process improvement. Three self-funding international workshops were held at IC [fea94,5] to explore the hypothesis, with some 40 participants from the UK, Europe and North America at each. Fo...

Serc/epsrc Gr/g56478 Cooperative Kbs Browsing (ckb) Final Report